tautology rule

[计] 同语反复规则; 重言式规则